page.h, init.c:
phys is machine physical already. So we shouldn't try to convert guest
physical to machine physical.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
}
}
- new_pte = pfn_pte(phys >> PAGE_SHIFT, prot);
+ new_pte = pfn_pte_ma(phys >> PAGE_SHIFT, prot);
pte = pte_offset_kernel(pmd, vaddr);
if (!pte_none(*pte) &&
- pte_val(*pte) != (pte_val(new_pte) & __supported_pte_mask))
+ pte_val_ma(*pte) != (pte_val_ma(new_pte) & __supported_pte_mask))
pte_ERROR(*pte);
/*
#define pte_val(x) (((x).pte & 1) ? machine_to_phys((x).pte) : \
(x).pte)
+#define pte_val_ma(x) ((x).pte)
static inline unsigned long pmd_val(pmd_t x)
{